/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package xml_parser.Parseador;

import java.io.File;

/**
 *
 * @author Vedder
 */
public class Documento extends Nodo {

    private Elemento raiz;
    private String xmlVer;
    private File dtd;
    public Documento(Elemento r, String v, File d)
    {
        raiz=r;
        xmlVer=v;
        dtd=d;
    }

    public File getDtd() {
        return dtd;
    }

    public void setDtd(File dtd) {
        this.dtd = dtd;
    }

    public Elemento getRaiz() {
        return raiz;
    }

    public void setRaiz(Elemento raiz) {
        this.raiz = raiz;
    }

    public String getXmlVer() {
        return xmlVer;
    }

    public void setXmlVer(String xmlVer) {
        this.xmlVer = xmlVer;
    }

    @Override
    public String getNombre() {
        throw new UnsupportedOperationException("Not supported yet.");
    }

    @Override
    public String getTipo() {
        throw new UnsupportedOperationException("Not supported yet.");
    }

    @Override
    public String getValor() {
        throw new UnsupportedOperationException("Not supported yet.");
    }
}
